Boolean analysis

Results: 158



#Item
81Model theory / Forcing / Boolean algebra / Algebraic structures / Algebraic logic / Boolean-valued model / Symbol / Interpretation / First-order logic / Mathematical logic / Mathematics / Logic

BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory.

Add to Reading List

Source URL: www.math.nsc.ru

Language: English - Date: 2015-01-30 06:09:18
82Binary decision diagram / Model checking / Applied mathematics / Artificial neuron / Algorithm / Directed acyclic graph / Influence diagram / Diagrams / Mathematics / Boolean algebra

Journal of Reliability and Statistical Studies; ISSN (Print): [removed], (Online):[removed]Vol. 5, Issue Special (2012): [removed]MULTI-STATE SYSTEM ANALYSIS BASED ON MULTIPLE-VALUED DECISION DIAGRAM Elena Zaitseva and V

Add to Reading List

Source URL: www.jrss.in

Language: English - Date: 2012-05-13 09:38:34
83Forcing / Boolean algebra / Algebraic structures / Boolean-valued model / Model theory / Function / Symbol / Functor / Universal property / Mathematics / Mathematical logic / Mathematical analysis

PROCEEDINGS Positivity IV - Theory and Applications Dresden (Germany), [removed]Boolean Valued Analysis and Positivity A. G. Kusraev and S. S. Kutateladze (Russia) Abstract. This is an overview of the recent results

Add to Reading List

Source URL: www.math.nsc.ru

Language: English - Date: 2015-01-30 06:07:35
84General topology / Non-standard analysis / Ultrafilter / Stone–Čech compactification / Idempotence / Filter / Projection / Constructible universe / Boolean-valued model / Mathematics / Topology / Order theory

arXiv:0711.0484v2 [math.DS] 5 Nov[removed]IDEMPOTENT ULTRAFILTERS AND POLYNOMIAL RECURRENCE CHRISTIAN SCHNELL Abstract. We give a new proof of a polynomial recurrence result due to

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-02-14 04:18:56
85Order theory / Non-standard analysis / Adjoint functors / Boolean algebra / Ultrafilter / Stone–Čech compactification / Filter / Monad / Ultraproduct / Topology / Mathematics / General topology

Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-07-01 12:49:00
86Analytic number theory / Field theory / Fourier analysis

arXiv:1204.6447v1 [cs.DM] 29 Apr[removed]Open Problems in Analysis of Boolean Functions Compiled for the Simons Symposium, February 5–11, 2012

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-04-30 20:17:36
87Mathematical optimization / Applied mathematics / Computational complexity theory / Big O notation / Pseudo-Boolean function / Poisson distribution / Expected value / Linear programming relaxation / Pareto distribution / Mathematical analysis / Mathematics / Operations research

Single- and Multi-Objective Genetic Programming: New Bounds for Weighted ORDER and MAJORITY Anh Nguyen Tommaso Urli

Add to Reading List

Source URL: tunnuz.net

Language: English - Date: 2014-09-12 00:58:22
88Mathematical analysis / Boolean algebra / Sigma-algebra / Probability space / Kolmogorov complexity / Measure / Itō diffusion / Support / Probability theory / Mathematics / Measure theory

Solomonoff Induction Shane Legg May 16, 2004 1

Add to Reading List

Source URL: roland.pri.ee

Language: English - Date: 2007-09-16 01:27:18
89Boolean algebra / Philosophical logic / Semantics / Logical connectives / Interpretation / Modal logic / If and only if / Truth / Material conditional / Logic / Propositional calculus / Mathematical logic

Beth Too, But Only If Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis 65:[removed]), 224–229] Instructions. Today’s test will be on the conditional connect

Add to Reading List

Source URL: www.columbia.edu

Language: English - Date: 2005-07-31 12:17:26
90Reliability engineering / Systems science / Design for X / Statistical dependence / Fault tree analysis / Boolean algebra / Independence / George Boole / Safety engineering / Systems engineering / Mathematics / Algebraic logic

Microsoft PowerPoint - RA II (FTA,ETA).pptx

Add to Reading List

Source URL: www.lsa.ethz.ch

Language: English - Date: 2011-03-14 17:39:50
UPDATE